Extension des cohérences WCSP aux tuples
نویسندگان
چکیده
Dans cet article, nous présentons un nouveau type de propriétés pour les réseaux de contraintes pondérées (WCNs pour Weighted Constraint networks). Il s’agit de la cohérence de tuples (TC) dont l’établissement sur un WCN est effectué grâce à une nouvelle opération appelée TupleProject. Nous proposons également une version “optimale” de cette propriété, OTC, qui peut être perçue comme une généralisation de OSAC (Optimal Soft Arc Consistency). Le principe sous-jacent à OTC est d’appliquer de manière itérative l’opération TupleProject afin de factoriser un coût qui maximise la borne inférieure w∅, sur la base de transferts de coûts entre tuples de différentes contraintes d’arité quelconque.
منابع مشابه
Bijections for lattice paths between two boundaries
We prove that on the set of lattice paths with steps N = (0, 1) and E = (1, 0) that lie between two boundaries B and T , the two statistics ‘number of E steps shared with B’ and ‘number of E steps shared with T ’ have a symmetric joint distribution. We give an involution that switches these statistics, preserves additional parameters, and generalizes to paths that contain steps S = (0,−1) at pr...
متن کاملExtension de l'algorithme Apriori et des règles d'association aux cas des données symboliques diagrammes et intervalles
Résumé. Nous traitons l’extension de l’algorithme Apriori et des règles d’association aux cas des données symboliques diagrammes et intervalles. La méthode proposée nous permet de découvrir des règles d’association au niveau des concepts. Cette extension implique notamment de nouvelles définitions pour le support et la confiance afin d’exploiter la structure symbolique des données. Au fil de l’...
متن کاملConstructing Reference Semantic Predictions from Biomedical Knowledge Sources
Semantic tuples are core component of text mining and knowledge extraction systems in biomedicine. The practical success of these systems significantly depends on the correctness and quality of the extracted semantic tuples. The quality and correctness of the semantic predictions can be measured against a benchmark semantic structure. In this article, we presented an approach for constructing a...
متن کاملP2P Join Query Processing over Data Streams
De nombreuses applications distribuées partagent la même nécessité de traiter des flux de données de façon continue, par ex. la surveillance de réseau ou la gestion de réseaux de capteurs. Dans ce contexte, un problème important et difficile concerne le traitement de requêtes continues de jointure qui nécessite de maintenir une fenêtre glissante sur les données la plus grande possible, afin de ...
متن کاملCalcul de conséquences pour le test d’extension conservative dans un système pair-à-pair
Dans un système d’inférence pair-à-pair (P2PIS), un pair étend sa base de connaissances (KB) avec celle des autres pairs afin d’utiliser leurs connaissances pour répondre aux requêtes qui lui sont posées. Toutefois, l’extension d’une KB n’est pas nécessairement conservative. Une extension conservative garantit que le sens d’une KB est le même lorsqu’elle est considérée seule ou avec son extensi...
متن کامل